Sb: Capstone Abstract
نویسندگان
چکیده
Expressiveness Following the approach outlined by Meijer et. al. in [3], our language has basic built-in combinators (e.g. fold) that are sufficient for expressing a number of common programming tasks. For programs that lie outside the scope of these combinators we provide a cost monad that allows programmers to express runtime information about arbitrary Idris programs, and then lift those runtime costs into Sb.
منابع مشابه
Ryan Hurley-Niezgoda Spanish Capstone Seminar Abstract The Influence of Memory on Intertextuality in the Novels El cuarto de atrás and El embrujo de Shanghai
متن کامل
Keara Baker Spanish Capstone Seminar Abstract Images of Spanish Women in the Novels El cuarto de atrás and El embrujo de Shanghai
متن کامل
Capsule: an Innovative Capstone-based Pedagogical Approach to Engage High School Students in Stem Learning
School children in general and high school students, in particular more often than not lose interest in STEM (science, technology, engineering, and math) education. Underrepresented and female students are even more discouraged by STEM courses. Our investigation and interviews with high school teachers cite that the main reason for such disinterest is the disconnect between school and reality. ...
متن کاملAI Projects for Computer Science Capstone Classes (Extended Abstract)
Capstone senior design projects provide students with a collaborative software design and development experience to reinforce learned material while allowing students latitude in developing real-world applications. Our two-semester capstone classes are required for all computer science majors. Students must have completed a software engineering course — capstone classes are typically taken duri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016